void createvfs31(char label[50], int size);
